Homotopy type theory - PDFSEARCH.IO - Document Search Engine

Homotopy type theory
Results: 77

#	Item
21	V ENUS H OMOTOPICALLY A NDREI RODIN Institute of Philosophy RAS - Saint-Petersburg State University, Russia Abstract The identity concept developed in the Homotopy Type theory (HoTT) supports an Add to Reading List Source URL: philomatica.org Language: English - Date: 2016-05-19 00:35:17
22	Overview History Homotopy Type theory Conclusions Constructive Axiomatic Method in Euclid, Hilbert Add to Reading List Source URL: philomatica.org Language: English - Date: 2015-08-06 10:28:31
23	Recent progress in Homotopy type theory Egbert Rijke Bas Spitters Radboud University Nijmegen Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2013-06-30 07:05:41
24	Non-Statement View of Theories Computer Modeling and Model-Based KR Semantic approach Homotopy Type theory Modeling with HoTT Concluding Remarks Add to Reading List Source URL: philomatica.org Language: English - Date: 2016-03-13 11:33:48
25	HOMOTOPY LIMITS IN TYPE THEORY JEREMY AVIGAD, KRZYSZTOF KAPULKIN, AND PETER LEFANU LUMSDAINE Abstract. Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized Add to Reading List Source URL: peterlefanulumsdaine.com Language: English - Date: 2016-04-19 10:06:33
26	Non-wellfounded trees in Homotopy Type Theory Benedikt Ahrens 1 Institut 1 Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2015-08-31 05:41:12
27	Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2013-06-21 07:27:06
28	Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2013-06-19 17:30:09
29	Non-wellfounded trees in Homotopy Type Theory∗ Benedikt Ahrens1 , Paolo Capriotti2 and R´egis Spadotti1 1 2 Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2015-06-03 05:24:49
30	COQHOTT    A NEW PROOF-ASSISTANT THAT REVISITS  THE THEORETICAL FOUNDATIONS OF COQ USING   HOMOTOPY TYPE THEORY  Add to Reading List Source URL: web.emn.fr Language: English - Date: 2015-05-11 05:01:14